65
0 true
1 ( >= basic_right_bottom_kid_0_width 0.0 )
2 ( >= basic_right_bottom_kid_0_hight 0.0 )
3 ( >= basic_right_bottom_kid_1_x 0.0 )
4 ( >= basic_right_bottom_kid_1_width 0.0 )
5 ( >= basic_right_bottom_kid_1_hight 0.0 )
6 ( >= basic_right_bottom_kid_2_x 0.0 )
7 ( >= basic_right_bottom_kid_2_width 0.0 )
8 ( >= basic_right_bottom_kid_2_hight 0.0 )
9 ( >= basic_right_bottom_kid_3_x 0.0 )
10 ( >= basic_right_bottom_kid_3_width 0.0 )
11 ( >= basic_right_bottom_kid_3_hight 0.0 )
12 ( >= basic_right_bottom_kid_4_x 0.0 )
13 ( >= basic_right_bottom_kid_4_width 0.0 )
14 ( >= basic_right_bottom_kid_4_hight 0.0 )
15 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_width ) ) 0.0 )
16 ( <= ( + basic_right_bottom_kid_1_width basic_right_bottom_kid_1_x ( * -1.0 basic_right_bottom_width ) ) 0.0 )
17 ( <= ( + basic_right_bottom_kid_2_width basic_right_bottom_kid_2_x ( * -1.0 basic_right_bottom_width ) ) 0.0 )
18 ( <= ( + basic_right_bottom_kid_3_width basic_right_bottom_kid_3_x ( * -1.0 basic_right_bottom_width ) ) 0.0 )
19 ( <= basic_right_bottom_kid_0_x 0.0 )
20 ( >= basic_right_bottom_kid_0_x 0.0 )
21 ( <= ( + basic_right_bottom_kid_4_width basic_right_bottom_kid_4_x ( * -1.0 basic_right_bottom_width ) ) 0.0 )
22 ( >= ( + basic_right_bottom_kid_4_width basic_right_bottom_kid_4_x ( * -1.0 basic_right_bottom_width ) ) 0.0 )
23 ( <= basic_right_bottom_kid_0_y 0.0 )
24 ( >= basic_right_bottom_kid_0_y 0.0 )
25 ( <= basic_right_bottom_kid_1_y 0.0 )
26 ( >= basic_right_bottom_kid_1_y 0.0 )
27 ( <= basic_right_bottom_kid_2_y 0.0 )
28 ( >= basic_right_bottom_kid_2_y 0.0 )
29 ( <= basic_right_bottom_kid_3_y 0.0 )
30 ( >= basic_right_bottom_kid_3_y 0.0 )
31 ( <= basic_right_bottom_kid_4_y 0.0 )
32 ( >= basic_right_bottom_kid_4_y 0.0 )
33 ( <= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_0_y ) ( * -1.0 basic_right_bottom_kid_0_hight ) ) 0.0 )
34 ( >= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_0_y ) ( * -1.0 basic_right_bottom_kid_0_hight ) ) 0.0 )
35 ( <= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_1_y ) ( * -1.0 basic_right_bottom_kid_1_hight ) ) 0.0 )
36 ( >= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_1_y ) ( * -1.0 basic_right_bottom_kid_1_hight ) ) 0.0 )
37 ( <= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_2_y ) ( * -1.0 basic_right_bottom_kid_2_hight ) ) 0.0 )
38 ( >= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_2_y ) ( * -1.0 basic_right_bottom_kid_2_hight ) ) 0.0 )
39 ( <= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_3_y ) ( * -1.0 basic_right_bottom_kid_3_hight ) ) 0.0 )
40 ( >= ( + basic_right_bottom_hight ( * -1.0 basic_right_bottom_kid_3_y ) ( * -1.0 basic_right_bottom_kid_3_hight ) ) 0.0 )
41 ( <= ( + basic_right_bottom_kid_4_y basic_right_bottom_kid_4_hight ( * -1.0 basic_right_bottom_hight ) ) 0.0 )
42 ( >= ( + basic_right_bottom_kid_4_y basic_right_bottom_kid_4_hight ( * -1.0 basic_right_bottom_hight ) ) 0.0 )
43 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_x ) basic_right_bottom_kid_0_x ) -10.0 )
44 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_x ) basic_right_bottom_kid_0_x ) -10.0 )
45 ( <= ( + basic_right_bottom_kid_1_width ( * -1.0 basic_right_bottom_kid_2_x ) basic_right_bottom_kid_1_x ) -10.0 )
46 ( >= ( + basic_right_bottom_kid_1_width ( * -1.0 basic_right_bottom_kid_2_x ) basic_right_bottom_kid_1_x ) -10.0 )
47 ( <= ( + basic_right_bottom_kid_2_width ( * -1.0 basic_right_bottom_kid_3_x ) basic_right_bottom_kid_2_x ) -10.0 )
48 ( >= ( + basic_right_bottom_kid_2_width ( * -1.0 basic_right_bottom_kid_3_x ) basic_right_bottom_kid_2_x ) -10.0 )
49 ( <= ( + basic_right_bottom_kid_3_width ( * -1.0 basic_right_bottom_kid_4_x ) basic_right_bottom_kid_3_x ) -10.0 )
50 ( >= ( + basic_right_bottom_kid_3_width ( * -1.0 basic_right_bottom_kid_4_x ) basic_right_bottom_kid_3_x ) -10.0 )
51 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_width ) ) 0.0 )
52 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_width ) ) 0.0 )
53 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_2_width ) ) 0.0 )
54 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_2_width ) ) 0.0 )
55 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_3_width ) ) 0.0 )
56 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_3_width ) ) 0.0 )
57 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_4_width ) ) 0.0 )
58 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_4_width ) ) 0.0 )
59 basic_right_bottom_kid_0_feasible
60 basic_right_bottom_kid_1_feasible
61 basic_right_bottom_kid_2_feasible
62 basic_right_bottom_kid_3_feasible
63 basic_right_bottom_kid_4_feasible
64 basic_right_bottom_feasible
0
64
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
sat
